obj-y += dprintf.o
obj-y += allocate.o
obj-y += pbuddy.o
obj-y += addrspace.o
obj-y += task.o
obj-y += interrupt.o
obj-y += notification.o
obj-y += timer.o
obj-y += domain.o
obj-y += schedule.o
obj-y += syscall.o
obj-y += endpoint.o
obj-y += ipcbuffer.o
obj-y += fault.o
obj-y += mutex.o
obj-y += mm.o
